Making the Usage of STL Safe
نویسندگان
چکیده
The use of the C++ Standard Template Library has many advantages, but comes with a unique set of problems that have not been addressed by compilers or development tools. Many of these problems are due to misuses of the STL components and algorithms that are syntactically correct but semantically flawed. We motivate the case for the use of static analysis to diagnose such problems and describe our approach to checking STL usage with an STL-aware static analysis.
منابع مشابه
Some New Concepts About IT2FNs With Their Usage in Group Decision-Making Problems
Interavl type-2 fuzzy numbers (IT2FNs) are used in many real problems such as multiple attribute decision making (MADM) problems, to model the opinions/judgments of experts. This paper, using centroid points and uncertainty degrees of IT2FNs, presents a new method to rank them. Also, we present new methods based on Choquet integral and various types of Power average to aggregate a set of IT2FNs...
متن کاملInconsistencies of Metrics in C + + Standard Template Library
Since McCabe's cyclometric measure, structural complexity have been playing an important role measuring the complexity of programs. Complexity metrics are used to achieve more maintainable code with the least bugs possible. C++ Standard Template Library (STL) is the most popular library based on the generic programming paradigm. This paradigm allows implementation of algorithms and containers i...
متن کاملHow to Use a Library?
Containers are well-known data structures in computer science, and so are search routines. What is it, then, that makes the Standard Template Library [2,9,14] —a library of containers and search routines—a source of inspiration for programmers of various kinds? Today, there’s winSTL, comSTL, STLport, parallel STL; there are numerous STL-minded libraries (MTL, BTL, VTL, GTL, CSTL, for Matrix, Bi...
متن کاملMeasuring the Overhead of C++ Standard Template Library Safe Variants
The C++ Standard Template Library is a widely-used library that is based on the generic programming paradigm. The usage of this library does not warrant bug-free programs. Furthermore, many new errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding remove-like algorithms. Most of the STL algorithms have precondition...
متن کاملSTL A Coordination Language for Autonomy based Multi Agent Systems
This paper introduces ECM a new coordination model and one of his language binding STL STL is aimed at making par allel and distributed programs construction easier by providing a set of powerful tools that clearly describe the coordination part of an applica tion These tools embedded in an object oriented computation language enable distributed components to be dynamically recon gured STL acts...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002